- automated procedure
- автоматизированная процедура
Англо-русский словарь по компьютерной безопасности. Академик.ру. 2011.
Англо-русский словарь по компьютерной безопасности. Академик.ру. 2011.
Automated Tissue Image Systems — (ATIS) are computer controlled automatic test equipment (ATE) systems classified as medical device and used as pathology laboratory tools (tissue based cancer diagnostics) to characterize a stained tissue sample embedded on a bar coded glass… … Wikipedia
Automated reasoning — is an area of computer science dedicated to understand different aspects of reasoning. The study in automated reasoning helps produce software which allows computers to reason completely, or nearly completely, automatically. Although automated… … Wikipedia
Automated theorem proving — (ATP) or automated deduction, currently the most well developed subfield of automated reasoning (AR), is the proving of mathematical theorems by a computer program. Decidability of the problem Depending on the underlying logic, the problem of… … Wikipedia
Automated lamellar keratoplasty — Automated Lamellar Keratoplasty, commonly abbreviated to ALK uses a device called a microkeratome to separate a thin layer of the cornea and create a flap. The flap is then folded back, and the microkeratome removes a thin disc of corneal stroma… … Wikipedia
Automated Transfer Vehicle — Véhicule automatique de transfert européen Pour les articles homonymes, voir ATV. Le Véhicule automatique de transfert européen (en anglais, « Automated Transfer Vehicle (ATV) ») selon le terme utilisé par Jean Jacques Dordain, le… … Wikipédia en Français
Automated transfer vehicle — Véhicule automatique de transfert européen Pour les articles homonymes, voir ATV. Le Véhicule automatique de transfert européen (en anglais, « Automated Transfer Vehicle (ATV) ») selon le terme utilisé par Jean Jacques Dordain, le… … Wikipédia en Français
Automated Quality control of meteorological observations — A meteorological observation at a given place can be inaccurate for a variety of reasons, such as a hardware defect. Quality control can help spot which meteorological observations are inaccurate.One of the main automated quality control program… … Wikipedia
automated lamellar keratectomy — (ALK) excision of the outer layers of the cornea using an automated keratome. It is usually used as part of a surgical procedure, to alter the shape of the cornea to correct errors of refraction … Medical dictionary
automated lamellar keratectomy — ALK excision of the outer layers of the cornea using an automated keratome. It is usually used as part of a surgical procedure, to alter the shape of the cornea to correct errors of refraction … The new mediacal dictionary
Java stored procedure — A Java stored procedure is a set of SQL statements, written in the Java programming language, grouped together as an executable unit.A stored procedure is a program that is kept and executed within a database server. The procedure is called from… … Wikipedia
Proof procedure — In logic, and in particular proof theory, a proof procedure for a given logic is a systematic method for producing proofs in some proof calculus of (provable) statements.There are several types of proof calculi. The most popular are natural… … Wikipedia